
#include <stddef.h>
#include <stdio.h>
#include <string.h>
#include <ucore.h>
int main(int argc, char *argv[]) {
    printf("argc=%d\n", argc);

    for (int i = 0; i < argc; i++)
    {
        printf("argv[%d]=%s\n", i, argv[i]);
    }

    return 0;
}
